We analyze worst-case complexity of a proximal augmented Lagrangian (proximal AL) framework for nonconvex optimization with nonlinear equality constraints. When a first-order (second-order) optimal point is obtained in the subproblem, an ǫ first-order (second-order) optimal point for the original problem can be guaranteed within O(1/ǫ 2−η ) outer iterations (where η is a user-defined parameter with η ∈ [0, 2] for the first-order result and η ∈ [1, 2] for the secondorder result) when the proximal term coefficient β and penalty parameter ρ satisfy β = O(ǫ η ) and ρ = O(1/ǫ η ), respectively. Further, when the subproblems are solved inexactly, the same order of complexity can be recovered by imposing certain verifiable conditions on the error sequence. We also investigate the total iteration complexity and operation complexity when a Newton-conjugate-gradient algorithm is used to solve the subproblems.