What is REGISTERED TRADEMARK the name that is given to a trademark that has been recorded and registered with the US Patent Office .