Lean Complementarity for Poisson Problems