Semilinear elliptic optimal control problems involving the
norm of the control in the objective are considered. Necessary and sufficient second-order optimality conditions are derived. A priori finite element error estimates for three different discretizations for the control problem are given. These discretizations differ in the use of piecewise constant, piecewise linear and continuous or non-discretized controls, respectively. Numerical results and implementation details are provided.