Yes he can sell or trade them but at the cost of not mining with them anymore when they are gone from the wallet.