The paper considers formulations of constrained model predictive control (MPC) problems for systems with dynamics defined on smooth manifolds. Generalizations of conventional nonlinear MPC stabilization techniques based on the terminal set and terminal penalty approaches are presented based on recent work by the authors. The significance of the results includes the possibility of systematically generating globally stabilizing, discontinuous, time-invariant feedback laws in situations when smooth, or even continuous, globally stabilizing, time-invariant stabilizers do not exist. To illustrate the development of nonlinear MPC on manifolds, the paper considers an example of a system with dynamics evolving on SE(3). Such systems emerge in many applications, such as quadrotor and quadcopter flight control. In the example, the paper demonstrates semi-global stabilization properties of the nonlinear MPC feedback law.