This paper defines a concept of efficiency for economies with transaction costs, called Nash efficiency, which characterizes (in the sense of the fundamental theorems of welfare economics) equilibrium allocations in these economies. In particular, it is shown that these allocations are Nash-efficient, and that under certain conditions any Nash-efficient allocation may be decentralized as an equilibrium with a system of lump-sum transfers.