We investigate optimal control problems governed by semilinear elliptic variational inequalities involving constraints on the control. We present an augmented Lagrangian method coupled with a Gauss-Seidel type splitting to solve a relaxed problem which is a good approximation of the genuine one. Implementation is based on SQP methods.