You could still use HM moves outside of Battle even though it is out of PP or a pokemon that knows an HM move has fainted.

HM Logic
You could still use HM moves outside of Battle even though it is out of PP or a pokemon that knows an HM move has fainted.