Warren Gatland has revealed that Leigh Halfpenny will come into the Wales side for their Rugby World Cup semi-final against South Africa, with Liam Williams missing out through injury.