Claim: If a category has a terminal object and has wide pullbacks, then it is complete.
Proof: See the nLab.