What happens when user formats the PC

If my user formats the PC, do I need to deactivate the old key, or the old key will still work?

When user formats the pc, local activation data gets wiped out. So user needs to activate the app again using the product key.