Search for "deleted" in https://www.facebook.com/full_data_use_policy. The bit you'd be worried about is: Keep in mind that information that others have shared about you is not part of your account and will not be deleted when you delete your account.
It's not obvious to me that other people's comments should be deleted or modified because they mention you. What if they mention you again after you've left?