The bottom line is that:
After training, the microscope at the brain window detects neurons forming new “dendritic spines,” that is, branches on the nerve dendrites that may form new connections with other neurons–part of learning and stabilizing a new task or memory.
Mice that get to sleep form more dendritic spines than mice that are sleep-deprived. Presumably, the well-rested mice learn their tasks better.