There is a trademark for "Open Source", and if you want to use it without written approval from OSI, you have to use it for something under an OSI-approved license: https://opensource.org/trademark-guidelines#Usage_That_Does_...

I think this is the closest you can come to a "formal definition", short of a law defining the term.