Implication Details

Assumptions: terminal object, wide pullbacks

Conclusions: complete

Reason: See the nLab.