Text this: Completeness of certain compact Lorentzian locally symmetric spaces