I wouldn't, and at times I haven't.
While you are tipping everybody from the busboy to the waitress and chef, etc, that's still no reason to leave money for bad service.
There's no need to reward them for service you didn't feel met your minimum expectations.
It was nice the manager took 20% off, but to me that still doesn't mean you should leave the people who gave you lousy service a bonus.