Compact Lorentzian manifolds admitting a timelike Killing vector field are shown to be complete by means of two different proofs to the original one.