Hard to say if it was locked up / frozen. Or KB / Mouse worked after reboot. If this is a one time thing, no biggie, if frequent then chase down.
Clean up your system to get as much reasonable free space as you can. Defrag your disks once a month whether you need to or not
