The main goal of the paper is to describe a reinforcement consisting of fully grouted bolts, which is applied to stabilizing underground openings and tunnels. After a variational formulation is given, the existence and uniqueness is proved. Some asymptotic results that make it possible to replace the real system with a continuous one more suitable for discretization are presented. Some other types of reinforcements and properties are studied.