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.
