The completely packed O(n) loop model on the square lattice