Global hyperbolicity and completeness