Complete axioms for categorical fixed-point operators