Global Hyperbolicity and Completeness

We prove global hyperbolicity of spacetimes under generic regularity conditions on the metric. We then show that these spacetimes are timelike and null geodesically complete if the gradient of the lapse and the extrinsic curvature $K$ are integrable. This last condition is required only for the tracefree part of $K$ if the universe is expanding.