I like how you say this from the perspective not of a team lead but as another person on the team. Which means you actually don't have any real sense of how much documentation your boss had to do, just what your boss told you they did.

"Sooooo... What's going on with Charlie? Are you documenting? I don't feel like you're documenting." sounds like you hounded your boss into firing your teammate instead of continuing to coach them.