It is well known that a module M has finite length if and only if it is semi-artinian and Noetherian or, equivalently, semi-noetherian and artinian. Our main result shows that finite length is often achieved by just assuming that M is semi-artinian, semi-noetherian and has finitely generated socle.