<p>Using a second law of complexity, we prove a black hole singularity theorem. By introducing the notion of trapped extremal surfaces, we show that their existence implies null geodesic incompleteness inside globally hyperbolic black holes. We also demonstrate that the vanishing of the growth rate of the volume of extremal surfaces provides a sharp diagnostic of the black hole singularity. In static, uncharged, spherically symmetric spacetimes, this corresponds to the growth rate of spacelike extremal surfaces going to zero at the singularity. In charged or rotating spacetimes, such as the Reissner-Nordström and Kerr black holes, we identify novel timelike extremal surfaces that exhibit the same behavior at the timelike singularity.</p>