[pt] O mercado brasileiro de energia elétrica ainda não encontrou um modelo de mercado e de formação de preço que garanta a expansão auto-sustentada da oferta. Investigando em detalhe o modelo atual de despacho da geração e formação do preço, demonstramos a sua pouca eficácia na atração de investimentos, e identificamos a causa dessa falha como sendo a miopia do modelo de despacho, uma vez os estados críticos do sistema só aprecem de forma significativa quando o sistema já estiver degradado. São estudados três modelos alternativos que modificam a função-objetivo ou a regra de formação do preço, ajustados de modo a viabilizar e tornar suficientemente atrativos os investimentos na expansão da oferta. Finalmente, estes modelos são então comparados entre si e com o modelo atual, quanto ao valor para o investidor e quanto ao custo para o sistema e para o consumidor. Um mercado é dito completo se permite aos agentes alocar livremente seus recursos e demandas quando estiverem disponíveis e/ou forem necessários e permite que os agentes condicionem estes recursos / demandas ao estado (preço) do mercado. Estas funcionalidades são implementadas através dos derivativos financeiros, negociados no mercado futuro. Neste trabalho fazemos uma análise conceitual do mercado futuro de energia elétrica, indicando a diferença em relação ao de outras commodities e apresentando um modelo da oferta e demanda por contratos futuros de energia elétrica. / [en] The Brazilian Market of Electrical Energy has not yet found a stable market and price model that ensues the feasibility and makes attractive a self-sustained investment for the expansion of electrical energy generation. Researching the current generation dispatch and spot price model, we show that it is ineffective to attract investments because the model is myopic, since the range of critical system states that is foreseen at the current state is not significant until the system is already too degraded. Stemming from this conclusion, we develop three alternative models, modifying the dispatch model objective and the price formation rule. These alternative models are tuned to make the investments in generation expansion feasible and attractive. The models are compared regarding their value to the investor and the cost to the system and to the consumer. A complete market allows the economic agents to freely allocate their resources and requirements whenever they are available and/or required. A complete market also allows conditional settlement, i.e., to condition the resource availability and/or requirement to a particular market state (price). These features are realized by financial derivatives, in the, so called, futures market. We present a conceptual analysis of the electrical energy s future market, pointing the differences to other commodities future markets that are due to economical unfeasibility of storing electricity. We also present an equilibrium model for the forward electrical energy contracts.