Yes, devices do not charge batteries to 100% as that is directly damaging. And they don't discharge to 0% for the same reason.
So they charge to something slightly less. But that slightly less is for all intents and purposes the only definition of 100% we, as end users, have.
It's like saying that your CPU is actually only running at 70% clock frequency but overclocking it to 100% would require massive cooling and reduce the lifetime to months.
I agree a better definition and preferably one directly comparable to all brands and battery types were available, but I'm not aware of any and I'm sure that even if we had it you wouldn't trivially be able to get that information.
Noone should ever charge to more than 80%. That is short sighted and environmentally moronic. After less than two years a device will have more capacity at 80% than the same battery will have at 100% if it was charged to 100%.