This paper analyzes socially optimal forest taxation when the government has a binding tax revenue requirement. In the Faustmann model the optimal design of forest taxation consists of non-distortionary taxes, such as site productivity tax, site value tax or profit tax. A combination of distortionary unit (or yield) tax and timber tax can also be used to collect the tax revenue in a non-distort...