Yes, I have uninstalled antivirus. The uninstaller removed most of the files, except those in memory. I turned off the computer at the end of the day, and after startup the next morning the remaining files were gone.

The only remaining files were the "user space" like custom preferences or files created by the user using the program. The uninstaller rightfully leaves it up to the user to decide what to do with those.