Puppet is that product and also the name of the company who wrote this language.
Puppet master is an installation of puppet where puppet code is compiled. Here is where the SSL certificates are verified and signed.
Puppet server is an application that runs on JVM on puppet master. It provides catalog compiler.